2.5.3 Using Microsoft Contracts.htm

2.5.3 Using Microsoft Contracts.htm

PAT integrates the runtime checking of Microsoft Code Contracts in the external C# codes. To use Contracts in your classes, you only need to choose the "contract" when you build the DLL. In your code, contracts methods can be simply used as the normal way: pre-condition, post-condition, invariant and assertions.

We are experimenting this feature. Please see DBM testing example in PAT for more information.